Constructive Urysohn Universal Metric Space
نویسنده
چکیده
We construct the Urysohn metric space in constructive setting without choice principles. The Urysohn space is a complete separable metric space which contains an isometric copy of every separable metric space, and any isometric embedding into it from a finite subspace of a separable metric space extends to the whole domain.
منابع مشابه
The Urysohn Universal Space and Hyperconvexity
In a paper published posthumously, Pavel Samuilovich Urysohn constructed a complete, separable metric space that contains an isometric copy of every complete separable metric space. In this paper we prove that the Urysohn univeral space is hyperconvex.
متن کاملThe Urysohn universal metric space and hyperconvexity
In this paper we prove that Urysohn univeral space is hyperconvex. We also examine the Gromov hyperbolicity and hyperconvexity of metric spaces. Using fourpoint property, we give a proof of the fact that hyperconvex hull of a δ-Gromov hyperbolic space is also δ-Gromov hyperbolic.
متن کاملExtension and reconstruction theorems for the Urysohn universal metric space
We prove some extension theorems involving uniformly continuous maps of the universal Urysohn space. As an application, we prove reconstruction theorems for certain groups of autohomeomorphisms of this space and of its open subsets.
متن کاملA rich hierarchy of functionals of finite types
We are considering typed hierarchies of total, continuous functionals using complete, separable metric spaces at the base types. We pay special attention to the socalled Urysohn space constructed by P. Urysohn. One of the properties of the Urysohn space is that every other separable metric space can be isometrically embedded into it. We discuss why the Urysohn space may be considered as the uni...
متن کامل1 1 Ju l 2 00 4 Some isometry groups of Urysohn space
We construct various isometry groups of Urysohn space (the unique complete separable metric space which is universal and homogeneous), including abelian groups which act transitively, and free groups which are dense in the full isometry group.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 221 شماره
صفحات -
تاریخ انتشار 2008